/*
 * timer.h
 *
 *  Created on: Apr 4, 2021
 *      Author: gewenbin
 */

#ifndef SYLIXOS_DRIVER_TIMER_TIMER_H_
#define SYLIXOS_DRIVER_TIMER_TIMER_H_

#define TIMER_FREQ          (24 * 1000 * 1000 / 2)
#define TIMER_VECTOR(x)     ((x) + 75)

VOID  timerStart(INT32  iNum, UINT32  uiHZ);
VOID  timerIntClear(INT32  iNum);
BOOL  timerIsIntPending(INT32  iNum);
VOID  timerTickHighResolution(struct timespec *ptv);

#endif /* SYLIXOS_DRIVER_TIMER_TIMER_H_ */
